<?php
	echo json_encode($coordenadas_gps);
?>